]> dgit.raspbian.org Git - gnome-shell.git/commit
extensionPrefs: Add info popover to headerbar
authorFlorian Müllner <fmuellner@gnome.org>
Fri, 24 Jan 2020 18:00:37 +0000 (19:00 +0100)
committerFlorian Müllner <fmuellner@gnome.org>
Mon, 3 Feb 2020 18:03:19 +0000 (19:03 +0100)
commitb47879d0a7871948a7dd290a5cd6c7c0b60f5d79
treef7202e1e2513c9e923cb501e259ad0144ae2e847
parent679fc20765d7614aeac13c6e0b342266ffa29ca9
extensionPrefs: Add info popover to headerbar

Extensions can have a major impact on stability and performance. Now that
the tool will become the main way for users to manage their extensions, it
is an appropriate place to warn the user of that risk.

Add a small info popover to the headerbar to display that warning, together
with the previously removed hint of where to go for finding new extensions.

https://gitlab.gnome.org/GNOME/gnome-shell/issues/1968
js/extensionPrefs/ui/extensions-window.ui